Перевод: со всех языков на русский

с русского на все языки

automatic proof

См. также в других словарях:

  • Proof-of-payment — or POP is an honor based fare collection approach used on many public transportation systems. Instead of checking each passenger as they enter a fare control zone, proof of payment requires that each passenger carry a ticket or pass proving that… …   Wikipedia

  • Automatic dependent surveillance-broadcast — (ADS B) is a cooperative surveillance technique for air traffic control and related applications. An ADS B out equipped aircraft determines its own position using a global navigation satellite system and periodically broadcasts this position and… …   Wikipedia

  • automatic — UK US /ˌɔːtəˈmætɪk/ adjective ► an automatic machine, process, or system is able to operate, complete a task, or move by itself without being controlled by a person: »Tick the automatic update box and the date and time will be updated for you.… …   Financial and business terms

  • Automatic weather station — An automatic weather station (AWS) is an automated version of the traditional weather station, either to save human labour or to enable measurements from remote areas. The system may report in near real time via the Argos System and the Global… …   Wikipedia

  • Automatic number plate recognition — The system must be able to deal with different styles of license plates …   Wikipedia

  • Automatic differentiation — In mathematics and computer algebra, automatic differentiation, or AD, sometimes alternatively called algorithmic differentiation, is a method to numerically evaluate the derivative of a function specified by a computer program. Two classical… …   Wikipedia

  • Automatic theocracy — The term automatic theocracy was used in a hasty translation of a speech by the Reverend Sun Myung Moon, by non professional translating Korean language into English. The translated passage concerned Rev. Moon s prediction that the people of the… …   Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Strong secrecy — is a term used in cryptography. Bruno Blanchet provides the following definition:: Strong secrecy means that an adversary cannot see any difference when the value of the secret changes [Blanchet, B. (2004) Automatic proof of strong secrecy for… …   Wikipedia

  • competent — com·pe·tent / käm pə tənt/ adj 1: having or showing requisite or adequate ability or qualities a competent lawyer competent representation by counsel 2 a: free from addiction or mental defect that renders one incapable of taking care of oneself… …   Law dictionary

  • Book trimming — automatic book trimming machine cutting two sides at once Book trimming is the stage of the book production process in which the page edges of a book are trimmed so that all pages will stack with perfect edge alignment within the finished book… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»